#include "arrint.h"
#include "ssort.h"



arrInt
arrInt_ssort(arrInt a)/* pre: n>=0 /\ a=A */
{

int i=0,minp;/* inv: a[0,i]esta ordenado /\ a es permutación de A */

       while(i<(a->n)){

	minp=select(a,i);
	arrInt_swap(a,i,minp);
	i=i+1;

                      } 
       return a;
		  }/* pos: a esta ordenado /\ a es permutación de A*/

int
select(arrInt a,int i)/* pre: n>=i>0 */
{
 
  int j=i+1,minp=i;/* inv: a[minp] es el minimo de a[i,j]*/

  while (j<(a->n)){

	if ((a->a[j])<(a->a[minp])) 
			{
			minp=j;
			}
			j=j+1;

				   
		   }

		return minp;

		   }/* pos: a[minp] es el minimo de a[i,n]*/







